quasi normed space

拟赋范空间